-
1 correctness proof
доказательство правильности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > correctness proof
-
2 correctness proof
English-Russian dictionary of Information technology > correctness proof
-
3 correctness proof
Компьютерная техника: доказательство правильности -
4 correctness proof
-
5 correctness proof
• dokaz korektnosti -
6 correctness proof
correctheidsbewijs -
7 correctness proof
Англо-русский словарь компьютерных и интернет терминов > correctness proof
-
8 correctness proof
English-Russian dictionary of terms that are used in computer games > correctness proof
-
9 correctness proof
-
10 correctness proof
English-Russian dictionary of computer science > correctness proof
-
11 total correctness, proof of
доказательство общей правильности
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- total correctness, proof of
Англо-русский словарь нормативно-технической терминологии > total correctness, proof of
-
12 program correctness proof
доказательство правильности программы
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > program correctness proof
-
13 program correctness proof
Вычислительная техника: доказательство правильности программыУниверсальный англо-русский словарь > program correctness proof
-
14 program correctness proof
• dokaz korektnosti programa -
15 program correctness proof
English-Russian information technology > program correctness proof
-
16 proof
[pru:f]proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса absolute proof определенное доказательство constructive proof конструктивное доказательство correctness proof доказательство правильности fictitious proof ложное доказательство final burden of proof окончательная обязанность доказывания final burden of proof окончательное бремя доказывания further proof дополнительное доказательство page proof полигр. корректурный оттиск со сверстанного набора page proof страничная корректура press proof полигр. сводка prima facie proof доказательство, достаточное при отсутствии опровержения produce proof предъявлять доказательство program proof вчт. доказательство правильности программы proof делать непроницаемым proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый proof делать пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof доказательство proof доказывание proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию proof испытание proof корректура; гранка; пробный оттиск (с гравюры) proof корректура proof недоступный, не поддающийся (лести и т. п.) proof недоступный proof непробиваемый proof непроницаемый (against); непробиваемый proof непроницаемый proof придавать непроницаемость proof проба proof пробирка proof пробный оттиск proof проверка proof мат. проверка proof (шотл.) рассмотрение дела судьей вместо суда присяжных proof свидетельское показание proof установленной крепости (о спирте) proof установленный градус крепости спирта; above (under) proof выше (ниже) установленного градуса proof by appearance доказательство, достаточное при отсутствии опровержения proof by appearance презумпция доказательства proof in slips полигр. корректура в гранках proof of debt банкрот. подтверждение доказательством заявления кредитора proof of evidence свидетельское показание proof of good character and repute рекомендательное письмо proof of identity доказательство подлинности proof of membership членский билет proof of nonnegligent behaviour доказательство отсутствия небрежности proof of paternity доказательство отцовства proof of posting контроль проводки proof of purchase доказательство покупки proof of service доказательство оказания услуги proof of termination вчт. доказательство правильности завершения работы proof of will доказывание завещания proof испытание; проба; to put (smth.) to the proof испытать (что-л.), подвергнуть (что-л.) испытанию reproduction proof полигр. оттиск с набора, предназначенного для фоторепродуцирования specimen proof print. пробный оттиск proof доказательство; this requires no proof это не требует доказательства proof в сложных словах означает устойчивый, непроницаемый, не поддающийся действию (чего-л.); waterproof водонепроницаемый water-repellent: water-repellent = waterproof waterproof: waterproof водонепроницаемый, непромокаемый proof непромокаемый плащ proof придавать водонепроницаемость written proof письменное доказательство -
17 proof
доказательство; проверка; безопасный -
18 correctness
корректность, правильностьнапример, correctness proof - доказательство правильностисм. тж. program correctnessАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > correctness
-
19 correctness
1. n правильность, точность, исправность2. n корректность, благопристойностьСинонимический ряд:1. order (noun) correctitude; decencies'; decency; decorousness; decorum; fitness; order; orderliness; properness; proprieties'; propriety; seemliness2. precision (noun) accuracy; definiteness; definitiveness; definitude; exactitude; exactness; fidelities'; literalness; preciseness; precision; rightness; truth; veracities' -
20 correctness
правильність, вірність
См. также в других словарях:
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
Proof checking — is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… … Wikipedia
Correctness (computer science) — In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a specification. Functional correctness refers to the input output behaviour of the algorithm (i.e., for each… … Wikipedia
proof — /proohf/, n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence: What proof do you have? 3. the act of testing or making trial of anything; test; trial: to put a thing to… … Universalium
proof — 1 /pru:f/ noun 1 (C, U) facts, information, documents etc that prove something is true (+ of): Bring a passport as proof of identity. (+ (that)): Do you have any proof that this man stole your bag? | conclusive proof (=that cannot be doubted) |… … Longman dictionary of contemporary English
proof — /pruf / (say proohf) noun 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. anything serving as such evidence. 3. the act of testing or making trial of anything; test; a trial: to put a thing to the proof …
proof — [[t]pruf[/t]] n. 1) evidence sufficient to establish a thing as true or believable 2) anything serving as such evidence 3) the act of testing or trying anything; test; trial: to put a thing to the proof[/ex] 4) the establishment of the truth of… … From formal English to slang
Computer-assisted proof — A computer assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer aided proofs to date have been implementations of large proofs by exhaustion of a mathematical theorem. The idea is to use a… … Wikipedia
Compiler correctness — In computing, compiler correctness is the branch of software engineering that deals with trying to show that a compiler behaves according to its language specification[citation needed]. Techniques include developing the compiler using formal… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Burden of proof (logical fallacy) — In philosophy, the term burden of proof refers to the extent to which, or the level of rigour with which, it is necessary to establish, demonstrate or prove something for it to be accepted as true or reasonable to believe.All logical arguments… … Wikipedia